projects / gringo.git / shortlog
| 2019-03-02 | Thomas Krennwallner | gringo (5.3.0-10) unstable; urgency=medium | commit | commitdiff | tree | snapshot |
| 2019-03-02 | Thomas Krennwallner | Import gringo_5.3.0-10.debian.tar.xz | commit | commitdiff | tree | snapshot |
| 2018-11-11 | Thomas Krennwallner | Import gringo_5.3.0.orig.tar.gz | commit | commitdiff | tree | snapshot |